Predicate calculus

Перевод predicate calculus на русский язык

Predicate calculus is used in mathematical logic.

Предикатное исчисление используется в математической логике.